# SPDX-License-Identifier: Apache-2.0

kernel_library()

kernel_library_sources(
  core.c clock.c wait.c
  stop.c deadline.c rt.c fair.c idle.c
)
